경계값 문제 정의하기
표준적인 2차 경계값 문제는 구간 $[a, b]$ 위에서 정의된 미분 방정식을 포함하며, 시스템의 상태가 양끝에서 고정됩니다. 수학적으로 다음과 같이 표현됩니다:
$y^{\prime \prime}=f(x, y, y^{\prime}), \quad \text { for } a \leq x \leq b$
그리고 디리클레 경계조건:
$y(a)=\alpha \quad \text { and } \quad y(b)=\beta$
IVPs는 단일 점에서 $y(a)$와 $y'(a)$를 요구하지만, BVPs는 $a$와 $b$에서 $y$를 지정합니다. 이제 우리는 "초기 기울기" $y'(a)$를 알지 못하며, 내부 전체에서 주어진 방정식을 만족하면서 점들을 연결하는 궤적을 찾아야 합니다.
존재성과 유일성 (정리 11.1)
피카르-린델뢰프 정리는 IVP에 대해 국소적인 유일성을 제공하지만, BVPs는 전역적인 행동에 의해 결정됩니다. 간단한 선형 상미분방정식이라도 도메인 길이 $(b-a)$에 따라 해가 없거나, 유일한 해 하나, 또는 무한히 많은 해를 가질 수 있습니다. 유일한 해가 보장되는 조건은 다음과 같습니다:
- $f, f_y, \text{ 및 } f_{y'}$는 도메인에서 연속입니다.
- $f_y > 0$ (이는 해가 무한대에 멀어지지 않도록 보장하는 '복원력'과 같은 역할을 합니다).
- $|f_{y'}|$는 상수 $M$로 제한됩니다.
실제 적용 사례: 구조물의 처짐
길이 $l$인 구조용 보에 균일한 하중 $q$와 수평 인장력 $S$가 작용한다고 생각해 보세요. 처짐 $w(x)$는 다음 방정식에 의해 결정됩니다:
$\frac{d^2 w}{d x^2}(x)=\frac{S}{E I} w(x)+\frac{q x}{2 E I}(x-l)$
경계조건은 $w(0)=0$이고 $w(l)=0$입니다. 여기서 보의 양 끝이 고정되어 있으며, 응력 하에서 보의 물리적 형상을 설명하는 곡선 $w(x)$를 찾아야 합니다.